def m: C => (A, B) = x => (p(x), q(x))